On Rewriting Terms with Strict Functions and Error Propagation
نویسنده
چکیده
Partial functions play an essential role in the semantics of programs as a means to formalize non-terminating computations and computations terminating in an exception or error situation. However, when properly formalized, partial functions and errors often complicate underlying formalisms and reasoning systems. In this paper we focus on term rewriting systems, and discuss how partial functions and error propagation may be treated. In particular, we will be interested in strict functions because they arise from various implementation techniques. Reasoning with rewrite systems about such functions is nontrivial in the presence of errors due to the non-strict parameter passing semantics inherent in rewrite systems. In particular, rules formalizing strictness easily destroy rewrite rule confluence. We show how to mechanically extend rewrite rule systems so that strict parameter passing is imposed and so that convergent reasoning about terms which may turn out to be erroneous, becomes possible. Integration of non-strict functions will also be possible.
منابع مشابه
Definedness and Strictness in Generator Inductive Definitions
We consider a generalized form of inductive definitions as first suggested by Guttag. Partial functions may be defined by introducing error values in the right hand sides. For such definitions the intuitive semantics is not consistent with that of unrestricted rewriting. In general, the addition of rewrite rules capturing the intuitively motivated error propagation will destroy confluence of th...
متن کاملExtending Context-Sensitivity in Term Rewriting
Standard term rewriting is well-known to enjoy nice logical and closure properties. Yet, from an operational and computational point of view, i.e., when using term rewriting as computational model, it is also well-known that for non-terminating systems restricted versions of rewriting obtained by imposing context-sensitivity and/or strategy requirements may lead to better results (e.g., in term...
متن کاملEstimation of pull-in instability voltage of Euler-Bernoulli micro beam by back propagation artificial neural network
The static pull-in instability of beam-type micro-electromechanical systems is theoretically investigated. Two engineering cases including cantilever and double cantilever micro-beam are considered. Considering the mid-plane stretching as the source of the nonlinearity in the beam behavior, a nonlinear size-dependent Euler-Bernoulli beam model is used based on a modified couple stress theory, c...
متن کاملEstimation of pull-in instability voltage of Euler-Bernoulli micro beam by back propagation artificial neural network
The static pull-in instability of beam-type micro-electromechanical systems is theoretically investigated. Two engineering cases including cantilever and double cantilever micro-beam are considered. Considering the mid-plane stretching as the source of the nonlinearity in the beam behavior, a nonlinear size-dependent Euler-Bernoulli beam model is used based on a modified couple stress theory, c...
متن کاملThe Effects of Illuminants and Standard Observers Combination on Relationship between Spectrophotometric Error and Colorimetric Inaccuracy
The colorimetric error depends on the spectrophotometric inaccuracy. In this paper, a new method is introduced for determining the relationship between spectrophotometric error and colorimetric inaccuracy. The error propagation in colorimetric parameter calculation is evaluated using a linear relation between variance of reflectance spectra and CIE tristimulus values. This linear formula ca...
متن کامل